<!DOCTYPE html>
<html>
<head>
    <meta name="viewport"
          content="width=device-width, user-scalable=no, initial-scale=1.0, maximum-scale=1.0, minimum-scale=1.0">

    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
    <style index="newi" type="text/css">
	html {
  font-family: sans-serif; /* 1 */
  -webkit-text-size-adjust: 100%; /* 2 */
}

body {
  margin: 0;
}

    </style>

    <script type="text/javascript">

var RE = {};

// Initializations

RE.setHtml = function(contents) {
    RE.editor.innerHTML = decodeURIComponent(contents.replace(/\+/g, '%20'));

    const aTags = document.getElementsByTagName('a');
    for (const a of aTags) {
        a.target = "";
    }
}

    </script>

</head>
<body>
<div id="editor"></div>
</body>

<script type="text/javascript">
RE.editor = document.getElementById('editor');

</script>
</html>
